A Braided Simplicial Group
نویسندگان
چکیده
By studying the braid group action on Milnor’s construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set of the pure braid group action on certain combinatorially described group.
منابع مشابه
Double loop spaces, braided monoidal categories and algebraic 3-type of space
We show that the nerve of a braided monoidal category carries a natural action of a simplicial E2-operad and is thus up to group completion a double loop space. Shifting up dimension twice associates to each braided monoidal category a 1-reduced lax 3-category whose nerve realizes an explicit double delooping whenever all cells are invertible. We deduce that lax 3-groupoids are algebraic models...
متن کاملClassifying Spaces for Braided Monoidal Categories and Lax Diagrams of Bicategories
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. I...
متن کاملPlanar and braided proof-nets for multiplicative linear logic with mix
We consider a class of graphs embedded in R2 as noncommutative proof-nets with an explicit exchange rule. We give two characterization of such proof-nets, one representing proof-nets as CW-complexes in a two-dimensional disc, the other extending a characterization by Asperti. As a corollary, we obtain that the test of correctness in the case of planar graphs is linear in the size of the data. B...
متن کاملFiniteness Properties of the Braided Thompson’s Groups and the Brin-Thompson Groups
A group G is of type Fn if there is a K(G, 1) complex that has finite n-skeleton. It is of type F∞, if it is of type Fn for all n ∈ N. Here the property F1 is equivalent to G being finitely generated and the property F2 equivalent to being finitely presented. An interesting question in the study of these finiteness properties is how they change, if the group under consideration is changed. One ...
متن کاملDigital Borsuk-Ulam theorem
The aim of this paper is to compute a simplicial cohomology group of some specific digital images. Then we define ringand algebra structures of a digital cohomology with the cup product. Finally, we prove a special case of the Borsuk-Ulam theorem fordigital images.
متن کامل